1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
I5694
2009
2. Advances in software engineering techniques
پدیدآورنده : Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I35
2009eb
3. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
4. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
5. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
6. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
7. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
8. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
9. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
10. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
11. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
12. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
13. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
14. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
15. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
16. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
17. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
18. Models in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
19. Models in software engineering
پدیدآورنده : Jörg Kienzle (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
20. New modeling concepts for today's software processes
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;
